$\forall$$x$, $y$:(Top List), $b$:$\mathbb{B}$.
\\[0ex]null(if $b$ then $x$ else $y$ fi ) = if $b$ then null($x$) else null($y$) fi  $\in$ $\mathbb{B}$